2 ,
2 ,
2 ,
2
The Hecke algebra for the Symmetric Group
on 8 Letters, with the Partition
[ 2, 2, 2, 2 ]
in characteristic 2
.
The Module M
The module M is the permutation module over the prime
field of chacteristic 2, having point stablilizer
equal to the Young subgroup of the partition.
The dimension of M is 2520
.
The dimensions of the irreducible submodules modules are
64,
40,
14,
8,
6,
1
.
The module M has radical filtration (Loewy series)
1,
1,
1,
1,
1,
1,
1,
1,
2,
2,
2,
3,
3,
3,
4,
5,
5,
5,
6
2,
3,
3,
3,
4,
4,
4,
4,
4,
4,
5,
5,
5,
5,
6,
6,
6,
6,
6,
6,
6,
6,
6
2,
2,
2,
3,
3,
3,
3,
3,
3,
3,
4,
4,
4,
5,
5,
5,
5,
5,
5,
6,
6,
6,
6
3,
3,
3,
3,
3,
4,
4,
4,
4,
5,
5,
5,
5,
5,
5,
5,
5,
5,
5,
6,
6,
6,
6,
6,
6,
6,
6
2,
2,
2,
3,
3,
3,
3,
3,
3,
3,
4,
4,
4,
5,
5,
5,
5,
5,
5,
6,
6,
6,
6,
6,
6
2,
2,
2,
3,
4,
4,
4,
5,
5,
5,
5,
5,
6,
6,
6,
6,
6,
6
2,
2,
2,
3,
3,
3,
3,
4,
5,
5,
5,
6,
6,
6,
6
3,
3,
5,
5,
5,
6,
6,
6,
6,
6,
6
2,
2,
2,
3,
3,
3,
4,
4,
4,
6,
6
2,
2,
6,
6,
6,
6
2,
3,
3,
3,
6,
6
3,
3,
6,
6
6,
6
2,
2
The module M has socle filtration (socle series)
2,
2
6,
6
3,
3,
6,
6
2,
3,
3,
3,
6,
6
2,
2,
6,
6,
6,
6
2,
2,
2,
3,
3,
3,
4,
4,
4,
6,
6
3,
3,
5,
5,
5,
6,
6,
6,
6,
6,
6
2,
2,
2,
3,
3,
3,
3,
4,
5,
5,
5,
6,
6,
6,
6
2,
2,
2,
3,
4,
4,
4,
5,
5,
5,
5,
5,
6,
6,
6,
6,
6,
6
2,
2,
2,
3,
3,
3,
3,
3,
3,
3,
4,
4,
4,
5,
5,
5,
5,
5,
5,
6,
6,
6,
6,
6,
6
3,
3,
3,
3,
3,
4,
4,
4,
4,
5,
5,
5,
5,
5,
5,
5,
5,
5,
5,
6,
6,
6,
6,
6,
6,
6,
6
2,
2,
2,
3,
3,
3,
3,
3,
3,
3,
4,
4,
4,
5,
5,
5,
5,
5,
5,
6,
6,
6,
6
2,
3,
3,
3,
4,
4,
4,
4,
4,
4,
5,
5,
5,
5,
6,
6,
6,
6,
6,
6,
6,
6,
6
1,
1,
1,
1,
1,
1,
1,
1,
2,
2,
2,
3,
3,
3,
4,
5,
5,
5,
6
The module M has simple direct summands:
8 copies of simple module number 1
The remaining indecomposable components of M
have radical and socle filtrations as follows:
1).
radical layers
3,
5
3,
4,
5,
6,
6
2,
3,
4,
5,
5
3,
4,
5,
5,
6
3,
3,
4,
5,
6
5,
6
2
6
3
socle layers
3
6
2
5,
6
3,
3,
4,
5,
6
3,
4,
5,
5,
6
2,
3,
4,
5,
5
3,
4,
5,
6,
6
3,
5
2).
radical layers
3,
5
3,
4,
5,
6,
6
2,
3,
4,
5,
5
3,
4,
5,
5,
6
3,
3,
4,
5,
6
5,
6
2
6
3
socle layers
3
6
2
5,
6
3,
3,
4,
5,
6
3,
4,
5,
5,
6
2,
3,
4,
5,
5
3,
4,
5,
6,
6
3,
5
3).
radical layers
2
4,
6
3,
6
3,
5,
6
2,
5,
6
2,
4,
6
3,
5,
6
3,
5,
6
2,
4,
6
2,
6
3,
6
3,
6
6
2
socle layers
2
6
3,
6
3,
6
2,
6
2,
4,
6
3,
5,
6
3,
5,
6
2,
4,
6
2,
5,
6
3,
5,
6
3,
6
4,
6
2
4).
radical layers
2
4,
6
3,
6
3,
5,
6
2,
5,
6
2,
4,
6
3,
5,
6
3,
5,
6
2,
4,
6
2,
6
3,
6
3,
6
6
2
socle layers
2
6
3,
6
3,
6
2,
6
2,
4,
6
3,
5,
6
3,
5,
6
2,
4,
6
2,
5,
6
3,
5,
6
3,
6
4,
6
2
5).
radical layers
2,
3,
4,
5,
6
2,
3,
4,
4,
5,
5,
6,
6,
6
2,
3,
3,
3,
4,
5,
5,
6,
6
3,
4,
4,
5,
5,
5,
5,
6,
6,
6,
6
2,
3,
3,
3,
4,
5,
5,
6,
6
2,
3,
4,
5,
5,
5,
6,
6
2,
3,
3,
4,
5,
6,
6
5,
6,
6
2,
3,
4
6,
6
2,
3
socle layers
2,
3
6,
6
2,
3,
4
5,
6,
6
2,
3,
3,
4,
5,
6,
6
2,
3,
4,
5,
5,
5,
6,
6
2,
3,
3,
3,
4,
5,
5,
6,
6
3,
4,
4,
5,
5,
5,
5,
6,
6,
6,
6
2,
3,
3,
3,
4,
5,
5,
6,
6
2,
3,
4,
4,
5,
5,
6,
6,
6
2,
3,
4,
5,
6
The Action Algebra
The action algebra A is the image of kG in the
k-endomorphism ring of M. It's simple modules are the irreducible
submodules of M.
The dimensions of the projective modules are
64,
384,
495,
321,
446,
803
.
The cartan matrix of A is
1,
0,
0,
0,
0,
0
0,
6,
6,
3,
4,
12
0,
6,
10,
6,
9,
13
0,
3,
6,
7,
9,
7
0,
4,
9,
9,
13,
10
0,
12,
13,
7,
10,
25
The determinant of the Cartan matrix is 28.
Projective module number 1 is simple.
The radical and socle filtrations of the remaining
projective modules for A are the following:
Projective module number 2
radical layers
2
4,
6
3,
6
3,
5,
6
2,
5,
6
2,
4,
6
3,
5,
6
3,
5,
6
2,
4,
6
2,
6
3,
6
3,
6
6
2
socle layers
2
6
3,
6
3,
6
2,
6
2,
4,
6
3,
5,
6
3,
5,
6
2,
4,
6
2,
5,
6
3,
5,
6
3,
6
4,
6
2
Projective module number 3
radical layers
3
3,
5,
6
2,
3,
4,
5,
6
2,
4,
5,
5,
6
3,
3,
4,
5,
5,
6,
6
3,
3,
3,
4,
5,
5,
6,
6
2,
4,
5,
6,
6
2,
4,
6
3,
6
3,
6
2,
6
2
socle layers
3
3,
6
2,
6
2,
6
3,
5,
6
3,
5,
6
2,
3,
4,
4,
6
2,
5,
5,
5,
6
3,
3,
4,
5,
5,
6,
6
3,
3,
3,
5,
6,
6
4,
4,
5,
6,
6
2,
2,
4
Projective module number 4
radical layers
4
2,
4,
5
3,
4,
5,
6
3,
4,
5,
6,
6
3,
5,
5,
6
2,
3,
4,
5,
5
3,
4,
5,
6,
6
3,
5,
6
2,
4
socle layers
4
5
3,
4,
5
2,
3,
4,
5
5,
5,
6,
6
3,
4,
5,
6,
6
2,
3,
3,
4,
5,
6
4,
5,
5,
6,
6
2,
3,
4
Projective module number 5
radical layers
5
3,
4,
5,
6
3,
4,
5,
5,
6,
6
2,
3,
3,
4,
5,
5,
5,
6
2,
3,
3,
4,
4,
5,
5,
5,
6,
6
3,
3,
4,
4,
5,
5,
6,
6,
6
2,
3,
4,
5,
6
2,
4
socle layers
5
3,
5
3,
4,
4,
5
5,
5,
5,
6,
6
3,
3,
4,
4,
5,
5,
6,
6
2,
2,
3,
3,
3,
5,
5,
6,
6
4,
4,
5,
5,
5,
6,
6,
6,
6
2,
2,
3,
3,
4,
4,
4
Projective module number 6
radical layers
6
2,
3,
5,
6
2,
3,
4,
5,
5,
6,
6,
6
2,
3,
4,
4,
5,
6,
6,
6,
6
2,
3,
3,
4,
5,
5,
6,
6
2,
3,
3,
5,
5,
5,
6,
6
2,
3,
3,
4,
4,
5,
6,
6,
6
2,
3,
4,
6,
6,
6
2,
3,
6,
6
2,
3,
6,
6
2,
3,
6
2,
6
2
socle layers
6
3,
6
3,
6
2,
2,
6
2,
2,
6,
6
3,
3,
5,
5,
6,
6
3,
3,
5,
5,
6,
6
2,
2,
4,
4,
6,
6
2,
2,
5,
5,
6,
6,
6
3,
3,
3,
4,
5,
5,
6,
6,
6,
6
3,
3,
3,
3,
5,
6,
6,
6
4,
4,
4,
5,
6,
6,
6
2,
2,
2,
2,
4
The degrees of the splitting fields are
1,
1,
1,
1,
1,
1
.
The Hecke Algebra
The Hecke algebra H of the module M is the A-endomorphism
ring of M.
The dimension of H is
282
.
The dimensions of the irreducible H-modules are
8,
2,
2,
1
.
The degrees of the splitting fields are
1,
1,
1,
1
.
The dimensions of the projective modules of H are
8,
46,
24,
78
.
The cartan matrix of H is
1,
0,
0,
0
0,
13,
2,
16
0,
2,
6,
8
0,
16,
8,
30
The determinant of the Cartan matrix is 364.
Projective module number 1 is simple.
The radical and socle filtrations of the remaining
projective modules for H are the following:
Projective module number 2
radical layers
2
2,
2,
4,
4
2,
2,
2,
4,
4,
4,
4
2,
2,
2,
3,
4,
4,
4,
4
2,
2,
4,
4,
4
2,
4,
4
2,
3
4
socle layers
2
4
2,
4
2,
2,
4,
4
2,
2,
2,
4,
4,
4
2,
2,
4,
4,
4,
4
2,
2,
2,
3,
4,
4
2,
3,
4,
4,
4
Projective module number 3
radical layers
3
3,
4
4,
4
2,
3,
3
4,
4
4
2,
3
4
4
3
socle layers
3
4
4
2,
3
4
4,
4
2,
3,
3
4,
4
3,
4
3
Projective module number 4
radical layers
4
2,
2,
3,
4,
4,
4,
4
2,
2,
2,
2,
3,
3,
4,
4,
4,
4
2,
2,
2,
2,
4,
4,
4,
4,
4,
4,
4,
4,
4
2,
2,
2,
3,
3,
4,
4,
4,
4,
4,
4
2,
2,
3,
4,
4
4,
4
2,
3,
4
3,
4
socle layers
4
2,
4
2,
4
2,
4,
4
2,
2,
3,
4,
4,
4,
4,
4
2,
2,
2,
2,
3,
3,
4,
4,
4,
4,
4
2,
2,
2,
4,
4,
4,
4,
4,
4
2,
2,
2,
3,
3,
3,
4,
4,
4,
4,
4
2,
3,
3,
4,
4,
4,
4
<\HTML><\BODY>